Search Results

Semantics of Higher-Order Probabilistic Programs with Conditioning

Semantics of Higher-Order Probabilistic Programs with Conditioning

Semantic models for higher-order Bayesian inference - Sam Staton, University of Oxford

Semantic models for higher-order Bayesian inference - Sam Staton, University of Oxford

Formal Verification of Higher-Order Probabilistic Programs

Formal Verification of Higher-Order Probabilistic Programs

[LAFI'22] Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic

[LAFI'22] Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic

Semantic Foundations for Probabilistic Programming

Semantic Foundations for Probabilistic Programming

Formal verification of higher-order probabilistic programs by Marco Gaboardi

Formal verification of higher-order probabilistic programs by Marco Gaboardi

Reasoning about Probabilistic Programs - Justin Hsu [1/4]

Reasoning about Probabilistic Programs - Justin Hsu [1/4]

Christine Tasson: "Probabilistic Programming and Semantics"

Christine Tasson: "Probabilistic Programming and Semantics"

Tutorial: Probabilistic Programming and Semantics (Christine Tasson)

Tutorial: Probabilistic Programming and Semantics (Christine Tasson)

Dexter Kozen. Joint Distributions and Probabilistic Semantics. (Plenary Talk)

Dexter Kozen. Joint Distributions and Probabilistic Semantics. (Plenary Talk)

Compiling Probabilistic Programs with Daphne (by Christian Weilbach)

Compiling Probabilistic Programs with Daphne (by Christian Weilbach)

[ICFP24] Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement(…)

[ICFP24] Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement(…)